Michael R. A. Huth: in Z-Library suchen

Ihr Zugang zu Kenntnissen und Kultur.

Don't use scam websites

Angewendete Filter

Genaue Übereinstimmung

Genaue Übereinstimmung

Bücher (17)
Meistgefragt
Liste
- Liste
- Tabelle

1

Logic in computer science: modelling and reasoning about systems

Logic in computer science: modelling and reasoning about systems

Cambridge University Press

Michael Huth, Mark Ryan

Jahr:

2004

Sprache:

english

Datei:

PDF, 2.04 MB

5.0 / 0

english, 2004

2

Logic in Computer Science: Modelling and Reasoning about Systems, 2nd Edition

Logic in Computer Science: Modelling and Reasoning about Systems, 2nd Edition

Michael Huth, Mark Ryan

Jahr:

2004

Sprache:

english

Datei:

PDF, 2.15 MB

5.0 / 5.0

english, 2004

3

Logic in computer science: modelling and reasoning about systems

Logic in computer science: modelling and reasoning about systems

Cambridge University Press

Michael Huth, Mark Ryan, M. Huth, M. Ryan

Jahr:

1999

Sprache:

english

Datei:

PDF, 65.36 MB

0 / 0

english, 1999

4

A Concise Dictionary of the Avant-Gardes

A Concise Dictionary of the Avant-Gardes

Richard Kostelanetz, Richard Carlin, Mark Daniel Cohen, Geof Huth, Gerald Janecek, Katy Matheson, Gloria S. McDarrah, Fred W. McDarrah, Michael Peters, John Rocco, Igor Satanovsky, Nicolas Slonimsky, Fred Truck

Jahr:

2019

Sprache:

english

Datei:

PDF, 2.01 MB

5.0 / 5.0

english, 2019

5

Supply Chain Resilience: Reconceptualizing Risk Management in a Post-Pandemic World

Supply Chain Resilience: Reconceptualizing Risk Management in a Post-Pandemic World

Omera Khan, Michael Huth, George A. Zsidisin, Michael Henke

Jahr:

2022

Sprache:

english

Datei:

PDF, 5.87 MB

0 / 5.0

english, 2022

6

Secure Communicating Systems: Design, Analysis, and Implementation

Secure Communicating Systems: Design, Analysis, and Implementation

Cambridge University Press

Michael R. A. Huth

Jahr:

2001

Sprache:

english

Datei:

PDF, 22.34 MB

0 / 0

english, 2001

7

AutoCAD programmieren mit VBA : Einführung, Anwendung, Referenz

AutoCAD programmieren mit VBA : Einführung, Anwendung, Referenz

Karsten Dummer, Michael Huth

Jahr:

2003

Sprache:

german

Datei:

PDF, 5.38 MB

0 / 0

german, 2003

8

Appraisal and acquisition strategies

Appraisal and acquisition strategies

Society of American Archivists

Barnard, Megan, Faulder, Erin, Huth, Geof, Prom, Christopher J., Shallcross, Michael

Jahr:

2016

Sprache:

english

Datei:

PDF, 1003 KB

0 / 0

english, 2016

9

Risikomanagement in der Logistik: Konzepte – Instrumente – Anwendungsbeispiele

Risikomanagement in der Logistik: Konzepte – Instrumente – Anwendungsbeispiele

Michael Huth, Frank Romeike (eds.)

Jahr:

2016

Sprache:

german

Datei:

PDF, 14.82 MB

0 / 0

german, 2016

10

Logic in Computer Science : Modelling and Reasoning about Systems

Logic in Computer Science : Modelling and Reasoning about Systems

Cambridge University Press

Michael Huth, Mark Ryan

Jahr:

2004

Sprache:

english

Datei:

PDF, 1.74 MB

5.0 / 0

english, 2004

11

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedi

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedi

Springer-Verlag Berlin Heidelberg

Rance Cleaveland (auth.), Orna Grumberg, Michael Huth (eds.)

Jahr:

2007

Sprache:

english

Datei:

PDF, 8.60 MB

0 / 0

english, 2007

12

Trust and Trustworthy Computing: 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings

Trust and Trustworthy Computing: 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Zongwei Zhou, Jun Han, Yue-Hsun Lin, Adrian Perrig, Virgil Gligor (auth.), Michael Huth, N. Asokan, Srdjan Čapkun, Ivan Flechais, Lizzie Coles-Kemp (eds.)

Jahr:

2013

Sprache:

english

Datei:

PDF, 7.36 MB

0 / 0

english, 2013

13

Secure Communicating Systems: Design, Analysis, and Implementation

Secure Communicating Systems: Design, Analysis, and Implementation

Cambridge University Press

Michael R. A. Huth

Jahr:

2001

Sprache:

english

Datei:

DJVU, 2.51 MB

0 / 0

english, 2001

14

Tools and Algorithms for the Construction and Analysis of Systems. 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences onTheoryandPracticeofSoftware,ETAPS2007 Braga, Portugal, March 24 -April 1, 2007 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems. 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences onTheoryandPracticeofSoftware,ETAPS2007 Braga, Portugal, March 24 -April 1, 2007 Proceedings

Orna Grumberg, Michael Huth (eds.)

Jahr:

2007

Sprache:

english

Datei:

PDF, 8.60 MB

0 / 4.0

english, 2007

15

面向计算机科学的数理逻辑系统建模与推理英文版·第2版

面向计算机科学的数理逻辑系统建模与推理英文版·第2版

北京：机械工业出版社

（英）胡思（Huth，M.）伦敦帝国学院（MICHAELHuth）著, (英)Michael Huth, (英)Mark Ryan著, Th Hu, An Ry, 胡思 Michael Huth

Jahr:

2005

Sprache:

Chinese

Datei:

PDF, 14.10 MB

0 / 0

Chinese, 2005

16

Mathematical Foundations of Advanced Informatics. Volume 1 Inductive Approaches

Mathematical Foundations of Advanced Informatics. Volume 1 Inductive Approaches

Bernhard Steffen, Oliver Rüthing, Michael Huth

Jahr:

2018

Sprache:

english

Datei:

PDF, 2.54 MB

0 / 0

english, 2018

17

Risikomanagement der Gefahrgutbeförderung: Einsatzpotential eines GIS-basierten Entscheidungsunterstützungssystems

Risikomanagement der Gefahrgutbeförderung: Einsatzpotential eines GIS-basierten Entscheidungsunterstützungssystems

Deutscher Universitätsverlag

Michael Huth (auth.)

Jahr:

2004

Sprache:

german

Datei:

PDF, 14.44 MB

0 / 0

german, 2004